Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⊢ Symbolic Logic
Formal Systems, Proof Theory, Metamathematics, Logical Foundations
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112314
posts in
1.91
s
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
11h
·
Discuss:
Hacker News
🤖
Critical Theory of AI
Cantor
Normal
Form
infinitelymore.xyz
·
20h
📡
Information Theory
Lexer
, Parser,
Codegen
github.com
·
2h
·
Discuss:
DEV
📡
Information Theory
The man who
transposed
human thought into
algebra
bigthink.com
·
17h
⚡
Dialectical Materialism
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
1d
🤖
Critical Theory of AI
Differential
Logic
• 6
inquiryintoinquiry.com
·
16h
⚡
Dialectical Materialism
Proof-oriented
Programming in F*
fstar-lang.org
·
1d
·
Discuss:
Lobsters
🤖
Critical Theory of AI
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
1d
🔄
Cybernetics
Finite model theory for
pseudovarieties
and universal algebra: preservation,
definability
and complexity
arxiv.org
·
1d
🤖
Critical Theory of AI
Like
Stories
? Love Python! 📖🐍
Ep.7
dev.to
·
2h
·
Discuss:
DEV
🤖
Critical Theory of AI
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
3d
·
Discuss:
Hacker News
🤖
Critical Theory of AI
read theory
bsky.app
·
9h
·
Discuss:
Bluesky
📡
Information Theory
Part 2 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔄
Cybernetics
Four
magics
federicopereiro.com
·
12h
🔄
Cybernetics
timothyjrainwater-lab/The-Table
github.com
·
6h
·
Discuss:
Hacker News
⚡
Dialectical Materialism
Informational
Inequivalence
of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law
zenodo.org
·
4h
·
Discuss:
Hacker News
📡
Information Theory
Dear
Agent:
Prove
it.
rijnard.com
·
1d
·
Discuss:
Hacker News
🤖
Critical Theory of AI
Balance
of
abstraction
aleksei.dev
·
12h
💰
Real Abstraction
Rule Variant Restrictions for the
Tamarin
Prover
eprint.iacr.org
·
1d
🤖
Critical Theory of AI
Show HN: A
deterministic
adversarial
puzzle system
hashclue.com
·
14h
·
Discuss:
Hacker News
🤖
Critical Theory of AI
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help